From xerox to aspell : A first prototype of a north sámi speller based on TWOL technologyGAUP, Børre; MOSHAGEN, Sjur; OMMA, Thomas et al.Lecture notes in computer science. 2006, pp 306-307, issn 0302-9743, isbn 978-3-540-35467-3, 1Vol, 2 p.Conference Paper

Thompson digraphs: A characterizationGIAMMARRESI, Dora; PONTY, Jean-Luc; WOOD, Derick et al.Lecture notes in computer science. 2001, pp 91-100, issn 0302-9743, isbn 3-540-42812-7Conference Paper

Deriving deadlock and unspecified reception free protocol converters from message mapping setsPEYRAVIAN, M; LEA, C.-T.Computer networks and ISDN systems. 1996, Vol 28, Num 13, pp 1831-1844, issn 0169-7552Article

A Merging States Algorithm for Inference of RFSAsALVAREZ, Gloria; GARCIA, Pedro; RUIZ, José et al.Lecture notes in computer science. 2006, pp 340-341, issn 0302-9743, isbn 3-540-45264-8, 1Vol, 2 p.Conference Paper

Closing the gap between software modelling and codeWAGNER, F; WAGNER, T; WOLSTENHOLME, P et al.IEEE international conference and workshop on the engineering of computer-based systems. 2004, pp 52-59, isbn 0-7695-2125-8, 1Vol, 8 p.Conference Paper

Testing from a finite-state machine : Extending invertibility to sequencesHIERONS, R. M.Computer journal (Print). 1997, Vol 40, Num 4, pp 220-230, issn 0010-4620Article

Formalization of edges for the Grafcet state machineGUILLAUME, M; GRAVE, J.-M; CHLIQUE, P et al.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 579-583, isbn 2-9502908-7-6Conference Paper

Finnish optimality-theoretic prosodyKARTTUNEN, Lauri.Lecture notes in computer science. 2006, pp 9-10, issn 0302-9743, isbn 978-3-540-35467-3, 1Vol, 2 p.Conference Paper

Continuous hand gesture segmentation and co-articulation detectionBHUYAN, M. K; GHOSH, D; BORA, P. K et al.Lecture notes in computer science. 2006, pp 564-575, issn 0302-9743, isbn 3-540-68301-1, 1Vol, 12 p.Conference Paper

SProUT -A general-purpose NLP framework integrating finite-state and unification-based : Grammar formalismsDROZDZYNSKI, Witold; KRIEGER, Hans-Ulrich; PISKORSKI, Jakub et al.Lecture notes in computer science. 2006, pp 302-303, issn 0302-9743, isbn 978-3-540-35467-3, 1Vol, 2 p.Conference Paper

Modular verification of modular finite state machinesENDSLEY, E. W; TILBURY, D. M.IEEE Conference on Decision and Control. 2004, isbn 0-7803-8682-5, Vol 1, 972-979Conference Paper

Coevolution of birdsong grammar without imitationSASAHARA, Kazutoshi; IKEGAMI, Takashi.Lecture notes in computer science. 2003, pp 482-490, issn 0302-9743, isbn 3-540-20057-6, 9 p.Conference Paper

Modeling submit/response style systems with form charts and dialogue constraintsDRAHEIM, Dirk; WEBER, Gerald.Lecture notes in computer science. 2003, pp 267-278, issn 0302-9743, isbn 3-540-20494-6, 12 p.Conference Paper

Regular model checking made simple and efficientPAROSH AZIZ ABDULLA; JONSSON, Bengt; NILSSON, Marcus et al.Lecture notes in computer science. 2002, pp 116-130, issn 0302-9743, isbn 3-540-44043-7, 15 p.Conference Paper

Transducers with set outputCZYZOWICZL, Jurek; FRACZAK, Wojciech; PELC, Andrzej et al.Lecture notes in computer science. 2002, pp 300-309, issn 0302-9743, isbn 3-540-43996-X, 10 p.Conference Paper

Checking safety properties using induction and a SAT-solverSHEERAN, Mary; SINGH, Satnam; STALMARCK, Gunnar et al.Lecture notes in computer science. 2000, pp 108-125, issn 0302-9743, isbn 3-540-41219-0Conference Paper

Dynamic on-line clustering and state extraction : An approach to symbolic learningDAS, S; MOZER, M.Neural networks. 1998, Vol 11, Num 1, pp 53-64, issn 0893-6080Article

Design of ANN architectures for handling the temporal dimension in signal processingSANTOS, J; DURO, R. J.EUROCAST '97International conference on computer aided systems theory and technology. 1997, pp 63-65, isbn 84-88912-04-8Conference Paper

Online polygon search by a seven-state boundary 1-searcherKAMEDA, Tsunehiko; YAMASHITA, Masafumi; SUZUKI, Ichiro et al.IEEE transactions on robotics. 2006, Vol 22, Num 3, pp 446-460, issn 1552-3098, 15 p.Article

A complete FS model for amharic morphographemicsAMSALU, Saba; GIBBON, Dafydd.Lecture notes in computer science. 2006, pp 283-284, issn 0302-9743, isbn 978-3-540-35467-3, 1Vol, 2 p.Conference Paper

Constructing Exponential-Size Deterministic Zielonka AutomataGENEST, Blaise; MUSCHOLL, Anca.Lecture notes in computer science. 2006, pp 565-576, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Model Creation by Velocity Controlled Surface DeformationRANGEL-KUOPPA, Risto; MOULD, David.Lecture notes in computer science. 2006, pp 318-325, issn 0302-9743, isbn 3-540-34379-2, 8 p.Conference Paper

Unsupervised morphology induction using morfessorCREUTZ, Mathias; LAGUS, Krista; VIRPIOJA, Sami et al.Lecture notes in computer science. 2006, pp 300-301, issn 0302-9743, isbn 978-3-540-35467-3, 1Vol, 2 p.Conference Paper

Using distinguishing and UIO sequences together in a checking sequenceYALCIN, M. Cihan; YENIGUN, Husnu.Lecture notes in computer science. 2006, pp 259-273, issn 0302-9743, isbn 3-540-34184-6, 1Vol, 15 p.Conference Paper

Finite state machinesJONSSON, Bengt.Lecture notes in computer science. 2005, pp 611-614, issn 0302-9743, isbn 3-540-26278-4, 4 p.Conference Paper